Sequential logic - PDFSEARCH.IO - Document Search Engine

Sequential logic
Results: 80

#	Item
41	Microsoft Word - power18.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-07-10 18:57:40 Electronic design Integrated circuits And-inverter graph Field-programmable gate array Logic synthesis Logic gate Sequential logic Power optimization CMOS Electronic engineering Electronic design automation Digital electronics
42	Sequential Rewriting and Synthesis Robert Brayton Alan Mishchenko EECS Department, University of California, Berkeley, CA 94720 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-04-23 21:49:16 Logic in computer science Mathematics Formal methods Computer memory Binary trees Retiming Flip-flop Sequential logic Combinational logic Theoretical computer science Digital electronics Electronic engineering
43	Available online at www.sciencedirect.com Procedia Computer Science[removed] – 54 Proceedings of the 3rd International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2012) Add to Reading List Source URL: www.openwetware.org Language: English - Date: 2012-12-12 14:13:55 Electronics Flip-flop Electrical engineering Hardware description languages Counter Verilog Logic gate Sequential logic Random-access memory Digital electronics Electronic engineering Computer memory
44	Integrating Logic Synthesis, Technology Mapping, and Retiming Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-01 16:05:11 Digital electronics Electronic design Formal methods And-inverter graph Retiming Logic synthesis Automatic test pattern generation Field-programmable gate array Sequential logic Electronic engineering Electronics Electronic design automation
45	Scalably-Verifiable Sequential Synthesis Robert Brayton Alan Mishchenko Department of EECS, University of California, Berkeley Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-10-02 14:31:33 Electronic design automation Digital electronics Logic in computer science Electrical circuits And-inverter graph Retiming Automatic test pattern generation Formal verification Combinational logic Electronic engineering Formal methods Theoretical computer science
46	KIM FOSTER GALLERY 529 West 20th Street New York, NY[removed]0044 www.kimfostergallery.com [removed] Sequential Abstraction Add to Reading List Source URL: artforum.com Language: English - Date: 2014-10-11 12:20:48 Painting Thought Diane Samuels Abstract art Nettles Fuzzy logic Samuels Abstraction Mind Visual arts Art movements Modern art
47	Merging Nodes Under Sequential Observability Michael L. Case1,2 1 Victor N. Kravets3 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-04-02 23:52:50 Electronic design automation Logic in computer science Theoretical computer science Scan chain Logic optimization And-inverter graph Combinational logic Retiming Algorithm Electronic engineering Formal methods Digital electronics
48	Logical Concurrency Control From Sequential Proofs Jyotirmoy Deshmukh1 , G. Ramalingam2 , Venkatesh-Prasad Ranganath2 , and Kapil Vaswani2 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-05-20 00:44:54 Concurrency control Concurrent computing Program logic Logic programming Concurrency Hoare logic Thread safety Parallel computing Linearizability Computing Computer programming Software engineering
49	Scalable and Scalably-Verifiable Sequential Synthesis Alan Mishchenko Michael Case Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-07-28 20:26:28 Electronic design automation Electrical circuits And-inverter graph Diagrams Retiming Automatic test pattern generation Scan chain Combinational logic Sequential logic Electronic engineering Formal methods Digital electronics
50	KIM FOSTER GALLERY 529 West 20th Street New York, NY[removed]0044 www.kimfostergallery.com [removed] Sequential Abstraction Add to Reading List Source URL: www.artforum.com Language: English - Date: 2014-10-11 12:20:48 Painting Thought Diane Samuels Abstract art Nettles Fuzzy logic Samuels Abstraction Mind Visual arts Art movements Modern art